Fdts for Odp
نویسندگان
چکیده
This paper discusses the use and integration of formal techniques into the Open Distributed Processing ODP standardization initiative The ODP reference model is a natural progression from OSI Multiple viewpoints are used to specify complex ODP systems Formal methods are playing an increasing role within ODP We provide an overview of the ODP reference model before discussing the ODP require ments on FDTs and the role such techniques play Finally we discuss the use of formalisms in the central problem of maintaining cross viewpoint consistency
منابع مشابه
Comparing LOTOS and Z re nement relations
This paper compares the LOTOS and Z re nement relations The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems de ned by the reference model of the Open Distributed Processing ODP standard ization initiative The ODP architectural semantics describes the application of formal description techniques FDTs to the speci cation of ODP systems Of the avai...
متن کاملComparing LOTOS and Z Refinement Relations
This paper compares the LOTOS and Z reenement relations. The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems deened by the reference model of the Open Distributed Processing (ODP) standardization initiative. The ODP architectural semantics describes the application of formal description techniques (FDTs) to the speciication of ODP systems. Of th...
متن کاملThe Development of an Architectural Semantics for
This paper provides an introduction to the role of Formal Description Techniques (FDTs) in the development of an architectural semantics for Open Distributed Processing (ODP). It gives a brief introduction to ODP in general and the Reference Model for ODP (RM-ODP). Following this, an outline of the reasons for the development of an architectural semantics, the problems associated with the devel...
متن کاملThe Development of an Architectural Semantics for ODP
This paper provides an introduction to the role of Formal Description Techniques (FDTs) in the development of an architectural semantics for Open Distributed Processing (ODP). It gives a brief introduction to ODP in general and the Reference Model for ODP (RM-ODP). Following this, an outline of the reasons for the development of an architectural semantics, the problems associated with the devel...
متن کاملSome Results on Cross Viewpoint
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency. This paper considers deenitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. We place existing FDTs, in particular LOTOS, into this framework. Then we consider the prospects for viewpoint translation. Our conclusions centre on the...
متن کامل